Formal system

Results: 1034



#Item
11

A compositional formal model for cyber-physical autonomous system Benjamin LION, Farhad ARBAB Introduction 

Add to Reading List

Source URL: www.win.tue.nl

- Date: 2017-06-27 16:15:41
    12

    The National Traffic System (NTS) Primer The ARRL National Traffic System (NTS) is a well-organized system for routing formal written message traffic (radiograms) from any point in the United States to any other. Message

    Add to Reading List

    Source URL: www.noontimenet.org

    - Date: 2016-11-12 21:56:34
      13

      Formal Methods in System Design manuscript No. (will be inserted by the editor) Refutation-Based Synthesis in SMT Andrew Reynolds · Viktor Kuncak · Cesare Tinelli · Clark Barrett ·

      Add to Reading List

      Source URL: lara.epfl.ch

      - Date: 2017-08-25 12:01:44
        14

        A Formal Model of a Cloud Service Architecture in Terms of Ambient ASM K´aroly B´osa August 21, 2012 Abstract This document presents a formal model of a cloud service system in

        Add to Reading List

        Source URL: www.cdcc.faw.jku.at

        - Date: 2016-01-04 05:51:38
          15

          A Case for Combining Industrial Pragmatics with Formal Methods Eric L. McCorkle I. BACKGROUND A. Dependent Types Dependently-typed languages [9] possess a type system with

          Add to Reading List

          Source URL: cybersec-prod.s3.amazonaws.com

          - Date: 2016-10-05 17:20:39
            16

            FASE System Description System: The Integrating Object-Oriented Design and Formal Methods?

            Add to Reading List

            Source URL: i12www.ira.uka.de

            - Date: 2007-01-08 12:13:01
              17

              DepQBF: A Dependency-Aware QBF Solver (System Description) Florian Lonsing and Armin Biere Institute for Formal Models and Verification (FMV) Johannes Kepler University, Linz, Austria http://fmv.jku.at

              Add to Reading List

              Source URL: www.kr.tuwien.ac.at

              - Date: 2013-05-02 03:19:04
                18

                Appendix for FASE System Description System: The Integrating Object-Oriented Design and Formal Methods

                Add to Reading List

                Source URL: i12www.ira.uka.de

                - Date: 2007-01-08 12:13:02
                  19

                  Formal Methods in System Design manuscript No. (will be inserted by the editor) A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata Sandie Balaguer · Thomas Chatain · Stefan Haar

                  Add to Reading List

                  Source URL: www.lsv.ens-cachan.fr

                  - Date: 2012-03-07 10:57:44
                    20

                    ETPS: A System to Help Students Write Formal Proofs ∗ Peter B. Andrews () Carnegie Mellon University Matthew Bishop ()

                    Add to Reading List

                    Source URL: www.cs.bu.edu

                    - Date: 2003-09-05 13:45:30
                      UPDATE